Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
941	Van Inwagen’s Argument for Incompatibilism Add to Reading List Source URL: tedsider.org Language: English - Date: 2007-12-19 15:04:28 Causality Philosophical logic Deduction Entailment Determinism Negation Metaphysics Logic Propositional calculus Boolean algebra
942	Chapter 8: The Logic of Conditionals § 8.1 Informal methods of proof Conditional elimination Add to Reading List Source URL: faculty.washington.edu Language: English - Date: 2004-06-01 21:31:14 Deduction Binary operations Entailment Conditional proof Modus ponens Logical biconditional Contraposition Soundness If and only if Logic Logical consequence Propositional calculus
943	The Reverse Logic of Resolving the Contradictions-pop 2 rzy Add to Reading List Source URL: studiahumana.com Language: English - Date: 2013-11-11 11:08:36 Mathematical logic Propositional calculus Logical consequence Non-classical logic Contradiction Truth Law of noncontradiction Principia Mathematica Entailment Logic Philosophy Philosophical logic
944	INT. J. LANG. COMM. DIS., JANUARY –MARCH VOL. Add to Reading List Source URL: steinhardt.nyu.edu Language: English - Date: 2011-02-17 13:43:31 Science Philosophy of language Propositional calculus Formal languages Semantics Proposition Language acquisition Idiom Well-formed formula Logic Linguistics Logical syntax
945	Intuitionistic Type Theory Per Martin-L¨of Notes by Giovanni Sambin of a series of lectures Add to Reading List Source URL: www.csie.ntu.edu.tw Language: English - Date: 2009-06-20 07:32:17 Logic in computer science Propositional calculus Type theory Proof theory Natural deduction Function Principia Mathematica First-order logic Interpretation Logic Mathematical logic Mathematics
946	Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen Grades Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2004-03-12 06:11:33 Propositional calculus Logical syntax Inference Logical truth Natural deduction Sequent calculus First-order logic Rule of inference Sequent Logic Mathematical logic Proof theory
947	Classical Logic I: First-Order Logic Chapter 1 Add to Reading List Source URL: www.blackwellpublishing.com Language: English - Date: 2001-06-18 13:30:12 Formal languages Metalogic Logical syntax Propositional calculus Interpretation First-order logic Well-formed formula Substitution Structure Logic Mathematical logic Model theory
948	IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS—PART B: CYBERNETICS, VOL. 39, NO. 4, AUGUST[removed] Add to Reading List Source URL: www98.griffith.edu.au Language: English - Date: 2010-06-29 02:42:57 Philosophical logic Formal languages Predicate logic Burrows–Abadi–Needham logic Interpretation Modal logic First-order logic Kerberos Substitution Logic Propositional calculus Model theory
949	WHEN THE WHISTLING HAD TO STOP P.M.S. Hacker 1. The Tractatus doctrine of saying and showing Add to Reading List Source URL: info.sjc.ox.ac.uk Language: English - Date: 2008-11-25 03:52:04 Propositional calculus Mathematical logic Philosophical logic Philosophy of language Branches of philosophy Proposition Ludwig Wittgenstein Tautology Logical atomism Philosophy Logic Mathematics
950	The Logic of Quantum Mechanics Garrett Birkhoff; John Von Neumann The Annals of Mathematics, 2nd Ser., Vol. 37, No. 4. (Oct., 1936), pp[removed]. Add to Reading List Source URL: www.fulviofrisone.com Language: English - Date: 2012-03-06 08:27:10 Quantum mechanics Quantum measurement Propositional calculus Mathematical logic Hilbert space Linear algebra John von Neumann Complemented lattice Function Mathematics Physics Logic

UPDATE